package za.org.meraka.cair.ontorepair;

import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLOntology;


public class AxiomNumberChecker {
	private OWLOntology ontology;	
	
	public AxiomNumberChecker(OWLOntology ont){
		ontology = ont;		
	}
	
	public int lookupAxiomNumber(OWLAxiom axiom){
		int count = 1;
		for (OWLAxiom compAxiom : ontology.getAxioms()){			
			if (compAxiom.toString().equals(axiom.toString()))
				return count;
			count++;
		}
		return 0;
	}
}
